
void printf(char*);
